temporal logic of actions造句
例句與造句
- Lamport is also known for his work on temporal logic, where he introduced the temporal logic of actions ( TLA ).
- Requirements and specifications being defined, models were developed in Leslie Lamport's Temporal logic of actions ( TLA + ) and then model checked with the corresponding TLC model checker.
- It's difficult to find temporal logic of actions in a sentence. 用temporal logic of actions造句挺難的